PER_USER: 2
};
+var ExtensionState = {
+ ENABLED: 1,
+ DISABLED: 2,
+ ERROR: 3,
+ OUT_OF_DATE: 4,
+ DOWNLOADING: 5,
+ INITIALIZED: 6,
+
+ // Used as an error state for operations on unknown extensions,
+ // should never be in a real extensionMeta object.
+ UNINSTALLED: 99
+};
+
// Maps uuid -> metadata object
var extensions = {};
const ExtensionUtils = imports.misc.extensionUtils;
const Main = imports.ui.main;
-var ExtensionState = {
- ENABLED: 1,
- DISABLED: 2,
- ERROR: 3,
- OUT_OF_DATE: 4,
- DOWNLOADING: 5,
- INITIALIZED: 6,
-
- // Used as an error state for operations on unknown extensions,
- // should never be in a real extensionMeta object.
- UNINSTALLED: 99
-};
+const { ExtensionState } = ExtensionUtils;
// Arrays of uuids
var enabledExtensions;
const Main = imports.ui.main;
const JsParse = imports.misc.jsParse;
+const { ExtensionState } = ExtensionUtils;
+
const CHEVRON = '>>> ';
/* Imports...feel free to add here as needed */
_stateToString(extensionState) {
switch (extensionState) {
- case ExtensionSystem.ExtensionState.ENABLED:
+ case ExtensionState.ENABLED:
return _("Enabled");
- case ExtensionSystem.ExtensionState.DISABLED:
- case ExtensionSystem.ExtensionState.INITIALIZED:
+ case ExtensionState.DISABLED:
+ case ExtensionState.INITIALIZED:
return _("Disabled");
- case ExtensionSystem.ExtensionState.ERROR:
+ case ExtensionState.ERROR:
return _("Error");
- case ExtensionSystem.ExtensionState.OUT_OF_DATE:
+ case ExtensionState.OUT_OF_DATE:
return _("Out of date");
- case ExtensionSystem.ExtensionState.DOWNLOADING:
+ case ExtensionState.DOWNLOADING:
return _("Downloading");
}
return 'Unknown'; // Not translated, shouldn't appear